$\forall$${\it es}$:ES, $e$:E, $l$:IdLnk, $L$:E List. rcvs from $e$ on $l$ = $L$ $\Rightarrow$ es{-}receives(${\it es}$;$e$;$l$) $=$ $L$